истинность

  • 81Теория моделей — Теория моделей  раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Тарским в 1954 году. Основное развитие теория …

    Википедия

  • 82Аргумент (логика) — У этого термина существуют и другие значения, см. Аргумент. Аргумент (довод)  логическая посылка, используемая отдельно или в совокупности с другими с целью доказательства истинности определённого утверждения тезиса. Чтобы тезис можно… …

    Википедия

  • 83Доказательство (логика) — У этого термина существуют и другие значения, см. Доказательство. Доказательство это логическая операция обоснования истинности утверждения с помощью фактов и других истинных связанных с ним суждений. Познание отдельных фактов, предметов, их… …

    Википедия

  • 84Парадокс импликации — Парадоксы импликации  это парадоксы, возникающие в связи с содержанием условных утверждений классической логики. Главная функция этих утверждений  обоснование одних утверждений ссылкой на другие. Содержание 1 Смысл импликации …

    Википедия

  • 85эрлангенская школа —         ЭРЛАНГЕНСКАЯ ШКОЛА была основана математиком и философом Паулем Лоренценом, который начинал как специалист в области оснований математики, а после приглашения в 1946 возглавить кафедру философии в Эрлангенском университете предпринял… …

    Энциклопедия эпистемологии и философии науки

  • 86ВЕЙЛЬ Герман (1885-1955) — математик и философ, член Национальной Академии Наук США, лауреат Международной премии имени Лобачевского (1927). Образование получил в Геттингенском Университете (1908). Профессор математики Политехнического Института в Цюрихе (Швейцария, 1913… …

    История Философии: Энциклопедия

  • 87НАУЧНАЯ ГИПОТЕЗА — непротиворечивое эмпирическое или теоретическое утверждение, решение об истинности которого научным сообществом еще не принято. Самым простым способом удостоверяется истинность эмпирических гипотез, имеющих форму единичных высказываний о наличии… …

    Философия науки: Словарь основных терминов

  • 88Сура 3. Семейство Имрана — 1. Алиф, лам, мим. 2. Аллах нет божества, кроме него, вечно живой, вечно сущий. 3. Он ниспослал тебе [, Мухаммад,] Писание [Коран] истинное подтверждение того, что было [ниспослано] до него, а прежде ниспослал Он Тору и Евангелие, 4. Раньше как… …

    Коран. Перевод М. Н. Османова

  • 89аргумент — (лат. argumentum) суждение (или совокупность взаимосвязанных суждений), посредством которого обосновывается истинность к. л. другого суждения (или теории). При доказательстве некоторого суждения А. являются основаниями, или посылками, из которых… …

    Словарь терминов логики

  • 90доказательство — рассуждение, устанавливающее истинность к. л. утверждения путем приведения других утверждений, истинность которых уже доказана. В Д. различаются тезис утверждение, которое нужно доказать, и основание, или аргументы, те утверждения, с помощью… …

    Словарь терминов логики

  • 91закон гипотетического силлогизма — закон логики, характеризующий импликацию ( если, то ): если первое влечет второе, то если второе влечет третье, то первое влечет третье. Напр.: Если с ростом знаний о человеке возрастает возможность защитить его от болезней, то если с ростом этой …

    Словарь терминов логики

  • 92круг в доказательстве — (лат. circulus in demonstrando) логическая ошибка в доказательстве, заключающаяся в том, что истинность доказываемого положения (тезиса) обосновывается с помощью аргумента, истинность которого обосновывается с помощью доказываемого тезиса. Данную …

    Словарь терминов логики

  • 93необходимость — (логическая) одна из модальных характеристик высказывания (наряду с возможностью , случайностью и независимостью ); необходимым является высказывание, отрицание которого логически невозможно. Обычно говорят, что высказывание логически необходимо …

    Словарь терминов логики

  • 94транзитивности закон — закон логики, согласно которому определенная логическая связь (импликация, эквивалентность и др.) представляет собой отношение транзитивности. Т. з. для условного высказывания (импликации) можно передать так: когда верно, что если первое, то… …

    Словарь терминов логики

  • 95Гладких, Юрий Григорьевич — (17.09.1938 27.11.1999) спец. по логике и филос.; канд. филос. наук, доц. Род. в Перми. В 1967 окончил филос. ф т МГУ, в 1970 асп. кафедры логики того же ф та. С 1971 асс., затем ст. преп., доц. на филос. ф те Ростовского гос. ун та. Еще учась в… …

    Большая биографическая энциклопедия

  • 96Аксиоматический метод —         способ построения научной теории, при котором в её основу кладутся некоторые исходные положения (суждения) аксиомы (См. Аксиома), или Постулаты, из которых все остальные утверждения этой науки (теоремы (См. Теорема)) должны выводиться… …

    Большая советская энциклопедия

  • 97Доказательство —         в логике, процесс (метод) установления истины (См. Истина), обоснование истинности суждения (См. Суждение). В соответствии с различными возможными аспектами и уровнями рассмотрения и употребления понятий «истина» («истинность») и… …

    Большая советская энциклопедия

  • 98Логическая семантика —         раздел логики (См. Логика), посвященный изучению значений и смыслов понятий (См. Понятие) и суждений (См. Суждение) и их формальных аналогов интерпретаций (См. Интерпретация) выражений (термов и формул) различных исчислений (См.… …

    Большая советская энциклопедия

  • 99Силлогизм — умозаключение, в котором на основании нескольких суждений с необходимостью выводится новое суждение, называемое заключением. В отличие от С., как умозаключения посредственного, непосредственным умозаключением называется то, в котором заключение… …

    Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

  • 100Скептицизм — I. С. называется одно из основных философских направлений, противоположное догматической философии и отрицающее возможность построения философской системы. Секст Эмпирик говорит: скептическое направление по своему существу состоит в сравнении… …

    Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона